Computational Process Networks a model and framework for high-throughput signal processing Gregory E. Allen

Source URL: users.ece.utexas.edu

• Models of computation
• Computer architecture
• Synchronous programming languages
• Parallel computing
• Computer data
• Dataflow
• Kahn process networks
• Concurrent computing
• Concurrency
• LabVIEW
• SIGNAL
• Dataflow architecture

J1.7 MACHINE LEARNING EVOLUTION FOR THE SOURCE DETECTION OF ATMOSPHERIC RELEASES G. Cervone∗1 and P. Franzese2 Dept. of Geography and Geoinformation Science, George Mason University

Source URL: ams.confex.com

• Evolution
• Cybernetics
• Evolutionary computation
• Learnable Evolution Model
• Estimation of distribution algorithm
• Genetic algorithm
• Machine learning
• Evolutionary algorithm
• Algorithm
• Genetic and Evolutionary Computation Conference

I NTRODUCTION T HE LST FRAMEWORK Iterative forcing and preservation of hyperimmunity

Source URL: ludovicpatey.com

• Computability theory
• Theoretical computer science
• Mathematical logic
• Theory of computation
• Mathematics
• Model theory
• Algorithm characterizations
• operator

Computation for Bayesian model comparison Tom Loredo Dept. of Astronomy, Cornell University http://www.astro.cornell.edu/staff/loredo/bayes/

Source URL: astrostatistics.psu.edu

Wavelike Design of Social Agents Simulated as System of Interacting Net of Neural Networks Darius Plikynas Informatics department, Vilnius Management Academy,

Source URL: necsi.edu

• Simulation
• Models of computation
• Systems theory
• Scientific modeling
• Complex systems theory
• Agent-based model
• Multi-agent system
• Social simulation
• Artificial neural network
• Computational model
• Agent
• Self-organization

Separating the Degree Spectra of Structures Tyler John Markkanen, Ph.D. University of Connecticut, 2009 In computable model theory, mathematical structures are studied on the basis of

Source URL: www.math.uconn.edu

• Computability theory
• Model theory
• Logic
• Mathematics
• Theory of computation
• Alan Turing
• Constructivism
• Philosophy of mathematics
• Computable model theory
• Turing degree
• Enumeration
• Mathematical logic

W24–W31 Nucleic Acids Research, 2006, Vol. 34, Web Server issue doi:nar/gkl084 oGNM: online computation of structural dynamics using the Gaussian Network Model Lee-Wei Yang1, A. J. Rader1, Xiong Liu1,2, Cristop

Source URL: www.ccbb.pitt.edu

Including R−parity violation in the numerical computation of the spectrum of the minimal supersymmetric standard model: SOFTSUSY3.3.3 B.C. Allanach DAMTP, CMS, University of Cambridge, Wilberforce road, Cambridge, CB3

Source URL: softsusy.hepforge.org

Stochastic Activity Authoring with Direct User Control Aline Normoyle∗ University of Pennsylvania Maxim Likhachev † Carnegie Mellon University

Source URL: www.alinenormoyle.com

• Simulation
• Stochastic processes
• Operations research
• Scientific modeling
• Models of computation
• Markov chain
• Random walk
• Crowd simulation
• Agent-based model
• Stochastic
• Traffic flow

Prof. Dr. Ulrich Kohlenbach Curriculum Vitae Ulrich Wilhelm Kohlenbach CURRENT AFFILIATION:

Source URL: www.mathematik.tu-darmstadt.de

• Formal sciences
• Metalogic
• Proof theory
• Philosophers of mathematics
• Mathematical logic
• Proof mining
• Logic
• Foundations of mathematics
• Workshop on Logic
• Language
• Information and Computation
• Mathematics
• Type theory
• Model theory